(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 10.4' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[     50062,       1627]
NotebookOptionsPosition[     43914,       1428]
NotebookOutlinePosition[     46424,       1494]
CellTagsIndexPosition[     46302,       1488]
WindowTitle->FCSetDiracGammaScheme
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[GridBox[{
   {Cell["FEYN CALC SYMBOL", "PacletNameCell"], Cell[TextData[{
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "See Also",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"See Also", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"FCGetDiracGammaScheme\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/FCGetDiracGammaScheme"], "\<\"DiracTrace\"\>":>
       Documentation`HelpLookup["paclet:FeynCalc/ref/DiracTrace"]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"SeeAlso"]],
      LineSpacing->{1.4, 0}],
     "\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\
\[ThickSpace]",
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "URL",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"URL", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"FeynCalc/ref/FCSetDiracGammaScheme\"\>":>
       None, "\<\"Copy Wolfram Documentation Center URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell["FeynCalc/ref/FCSetDiracGammaScheme"]}, Visible -> False]]; 
        SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; Null], 
       Delimiter, "\<\"Copy web URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell[
              BoxData[
               MakeBoxes[
                Hyperlink[
                "http://reference.wolfram.com/language/FeynCalc/ref/\
FCSetDiracGammaScheme.html"], StandardForm]], "Input", TextClipboardType -> 
              "PlainText"]}, Visible -> False]]; 
        SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; 
        Null], "\<\"Go to web URL\"\>":>FrontEndExecute[{
         NotebookLocate[{
           URL[
            StringJoin[
             If[
              TrueQ[DocumentationBuild`Make`Private`wsmlinkQ$125062], 
              "http://reference.wolfram.com/system-modeler/", 
              "http://reference.wolfram.com/language/"], 
             "FeynCalc/ref/FCSetDiracGammaScheme", ".html"]], None}]}]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"URLMenu"]],
      LineSpacing->{1.4, 0}]
    }], "AnchorBar"]}
  }]], "AnchorBarGrid",
 GridBoxOptions->{GridBoxItemSize->{"Columns" -> {
     Scaled[0.65], {
      Scaled[0.34]}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, 
   "RowsIndexed" -> {}}},
 CellID->1],

Cell[TextData[{
 Cell["FCSetDiracGammaScheme", "ObjectName"],
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{8, 0}],
    CacheGraphics->False],
   Spacer[8]]]],
 Cell[BoxData[""], "ObjectNameTranslation"]
}], "ObjectNameGrid"],

Cell[CellGroupData[{

Cell[BoxData[GridBox[{
   {"", Cell[TextData[{
     Cell[BoxData[
      RowBox[{"FCSetDiracGammaScheme", "[", "\"\<scheme\>\"", "]"}]], 
      "InlineFormula"],
     " \[LineSeparator]allows you to specify how Dirac matrices will be \
handled in D dimensions. This is mainly relevant to the treatment of the \
fifth Dirac matrix ",
     Cell[BoxData[
      SuperscriptBox["\[Gamma]", "5"]], "InlineFormula"],
     ", which is not well-defined in dimensional regularization."
    }]]}
  }]], "Usage",
 GridBoxOptions->{
 GridBoxBackground->{
  "Columns" -> {{None}}, "ColumnsIndexed" -> {}, "Rows" -> {{None}}, 
   "RowsIndexed" -> {}}},
 CellID->982511436],

Cell[CellGroupData[{

Cell[TextData[Cell[BoxData[
 ButtonBox[Cell[TextData[{
   Cell[BoxData[
    InterpretationBox[
     StyleBox[
      GraphicsBox[{},
       BaselinePosition->Baseline,
       ImageSize->{6, 0}],
      CacheGraphics->False],
     Spacer[6]]]],
   "Details"
  }], "NotesFrameText"],
  Appearance->{Automatic, None},
  BaseStyle->None,
  ButtonFunction:>(FrontEndExecute[{
     FrontEnd`SelectionMove[
      FrontEnd`SelectedNotebook[], All, ButtonCell], 
     FrontEndToken["OpenCloseGroup"], 
     FrontEnd`SelectionMove[
      FrontEnd`SelectedNotebook[], After, CellContents]}]& ),
  Evaluator->None,
  Method->"Preemptive"]]]], "NotesSection",
 WholeCellGroupOpener->True,
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->1223196223],

Cell["", "SectionHeaderSpacer"],

Cell["Following schemes are supported: ", "Notes",
 CellID->1067943069],

Cell[TextData[{
 "\"NDR\" - This is the default value. In the naive dimensional \
regularization (also known as conventional dimensional regularization or CDR) \
",
 Cell[BoxData[
  SuperscriptBox["\[Gamma]", "5"]]],
 " is assumed to anticommute with all Dirac matrices in ",
 Cell[BoxData["D"], "InlineFormula"],
 " dimensions. Hence, every Dirac trace can be rewritten in such a way, that \
it contains either just one or not a single ",
 Cell[BoxData[
  SuperscriptBox["\[Gamma]", "5"]]],
 " matrix. The latter traces are obviously unambiguous. The traces with one \
",
 Cell[BoxData[
  SuperscriptBox["\[Gamma]", "5"]]],
 " are not well-defined in this scheme. It usually depends on the physics of \
the process, whether and how they can contribute to the final result. \
Therefore, FeynCalc will keep such traces unevaluated, leaving it to the user \
to decide how to treat them. "
}], "Notes",
 CellID->190401776],

Cell[TextData[{
 "Notice that traces with an odd number of the usual Dirac matrices and one \
",
 Cell[BoxData[
  SuperscriptBox["\[Gamma]", "5"]]],
 ", that vanish in 4 dimensions, will be also put to zero in this scheme."
}], "Notes",
 CellID->1784502655],

Cell[TextData[{
 "\"NDR-Discard\" - This is a special version of the NDR scheme. The Dirac \
algebra is\nevaluated in the same way as with \"NDR\", but the remaining \
traces with one ",
 Cell[BoxData[
  SuperscriptBox["\[Gamma]", "5"]]],
 "\nare put to zero. This assumes that such traces do not contribute to the \
final result,\nwhich is obviously true only for specific calculations."
}], "Notes",
 CellID->665441283],

Cell[TextData[{
 "\"BMHV\" - The Breitenlohner-Maison extension of the t'Hooft-Veltman \
scheme. This scheme introduces Dirac and Lorentz tensors living in ",
 Cell[BoxData["4"], "InlineFormula"],
 ", ",
 Cell[BoxData["D"], "InlineFormula"],
 " or ",
 Cell[BoxData[
  RowBox[{"D", "-", "4"}]], "InlineFormula"],
 " dimensions, while ",
 Cell[BoxData[
  SuperscriptBox["\[Gamma]", "5"]], "InlineFormula"],
 " is a purely ",
 Cell[BoxData["4"], "InlineFormula"],
 "-dimensional object. BMHV is algebraically consistent but often suffers \
from nonconservation of currents in the final results. The conservation must \
be then enfornced by introducing finite counter-terms. The counter-terms are \
to be supplied by the users, FeynCalc does not do this automatically."
}], "Notes",
 CellID->2003509557],

Cell[TextData[{
 "\"Larin\" - Special prescription developed by Larin, also known as the \
Larin-Gorishny-Atkyampo-DelBurgo scheme. Essentially, it is a shortcut \
(mostly used in QCD) for obtaining the same results as in BMHV but without \
the necessity to deal with tensors from different dimensions. That is, before \
evaluating traces (but after moving gamma5 anticommuting in D-dimensions to \
the right of the Dirac string inside a trace) a product  gamma[mu].gamma5 is \
substituted to -I/6 Eps[mu,al,be,si] gamma[al,be,si], where all indices live \
in D-dimensions now. The Levi-Civita tensor is taken to be",
 StyleBox[" ", "Tutorials"],
 Cell[BoxData["D"], "InlineFormula"],
 StyleBox["-", "Tutorials"],
 "dimensional, i.e., contraction of two Eps's results in D's. \\\nThis scheme \
is often used for performance reasons and is assumed to give the same results \
as the Breitenlohner-Maison-'t Hooft-Veltman (BMHV) scheme. However, ",
 Cell[BoxData[
  SuperscriptBox["\[Gamma]", "5"]], "InlineFormula"],
 " is not anticommuting inside closed fermion loops and it is not so clear if \
this scheme works for more than one fermion line involving ",
 Cell[BoxData[
  SuperscriptBox["\[Gamma]", "5"]], "InlineFormula"],
 " When in doubt, it might be better to use BMHV instead."
}], "Notes",
 CellID->93561036]
}, Closed]]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount"]
}], "PrimaryExamplesSection",
 WholeCellGroupOpener->True,
 CellTags->"PrimaryExamplesSection",
 CellID->1187084404],

Cell[CellGroupData[{

Cell[TextData[{
 "Basic Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount"]
}], "ExampleSection", "ExampleSection",
 WholeCellGroupOpener->True,
 CellID->1196363630],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FCSetDiracGammaScheme", "[", "\"\<NDR\>\"", "]"}]], "Input",
 CellLabel->"In[1]:=",
 CellID->1948773281],

Cell[BoxData[
 FormBox["\<\"NDR\"\>", TraditionalForm]], "Output",
 ImageSize->{35, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[1]=",
 CellID->1851033209]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracTrace", "[", 
  RowBox[{"GAD", "[", 
   RowBox[{
   "\[Mu]", ",", "\[Nu]", ",", "\[Rho]", ",", "\[Sigma]", ",", "\[Tau]", ",", 
    "\[Kappa]", ",", "5"}], "]"}], "]"}]], "Input",
 CellLabel->"In[2]:=",
 CellID->98306849],

Cell[BoxData[
 FormBox[
  RowBox[{"tr", "(", 
   FormBox[
    RowBox[{
     FormBox[
      SuperscriptBox["\[Gamma]", 
       FormBox[
        FormBox["\[Mu]",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], ".", 
     FormBox[
      SuperscriptBox["\[Gamma]", 
       FormBox[
        FormBox["\[Nu]",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], ".", 
     FormBox[
      SuperscriptBox["\[Gamma]", 
       FormBox[
        FormBox["\[Rho]",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], ".", 
     FormBox[
      SuperscriptBox["\[Gamma]", 
       FormBox[
        FormBox["\[Sigma]",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], ".", 
     FormBox[
      SuperscriptBox["\[Gamma]", 
       FormBox[
        FormBox["\[Tau]",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], ".", 
     FormBox[
      SuperscriptBox["\[Gamma]", 
       FormBox[
        FormBox["\[Kappa]",
         TraditionalForm],
        TraditionalForm]],
      TraditionalForm], ".", 
     FormBox[
      SuperscriptBox[
       OverscriptBox["\[Gamma]", "_"], 
       FormBox["5",
        TraditionalForm]],
      TraditionalForm]}],
    TraditionalForm], ")"}], TraditionalForm]], "Output",
 ImageSize->{189, 22},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[2]=",
 CellID->319736968]
}, Open  ]],

Cell["\<\
In NDR chiral traces remain unevaluated. You decide how to treat them.\
\>", "ExampleText",
 CellID->1475497628],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", "%", "]"}]], "Input",
 CellLabel->"In[3]:=",
 CellID->933234494],

Cell[BoxData[
 FormBox[
  RowBox[{"tr", "(", 
   FormBox[
    RowBox[{
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["\[Rho]",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["\[Sigma]",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["\[Tau]",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox["\[Gamma]", 
      FormBox[
       FormBox["\[Kappa]",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox["5",
       TraditionalForm]]}],
    TraditionalForm], ")"}], TraditionalForm]], "Output",
 ImageSize->{189, 22},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[3]=",
 CellID->1219913945]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FCSetDiracGammaScheme", "[", "\"\<NDR-Discard\>\"", "]"}]], "Input",\

 CellLabel->"In[4]:=",
 CellID->1854871493],

Cell[BoxData[
 FormBox["\<\"NDR-Discard\"\>", TraditionalForm]], "Output",
 ImageSize->{89, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[4]=",
 CellID->771760149]
}, Open  ]],

Cell["\<\
If you know that such traces do not contribute, use NDR-Discard scheme to put \
them to zero\
\>", "ExampleText",
 CellID->2003592022],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", 
  RowBox[{"DiracTrace", "[", 
   RowBox[{"GAD", "[", 
    RowBox[{
    "\[Mu]", ",", "\[Nu]", ",", "\[Rho]", ",", "\[Sigma]", ",", "\[Tau]", ",",
      "\[Kappa]", ",", "5"}], "]"}], "]"}], "]"}]], "Input",
 CellLabel->"In[5]:=",
 CellID->415066987],

Cell[BoxData[
 FormBox["0", TraditionalForm]], "Output",
 ImageSize->{13, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[5]=",
 CellID->2065197167]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FCSetDiracGammaScheme", "[", "\"\<BMHV\>\"", "]"}]], "Input",
 CellLabel->"In[6]:=",
 CellID->1400459732],

Cell[BoxData[
 FormBox["\<\"BMHV\"\>", TraditionalForm]], "Output",
 ImageSize->{47, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[6]=",
 CellID->153708414]
}, Open  ]],

Cell["In BMHV chiral traces are algebraically well-defined", "ExampleText",
 CellID->204593488],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"res1", "=", 
  RowBox[{"DiracSimplify", "[", 
   RowBox[{"DiracTrace", "[", 
    RowBox[{"GAD", "[", 
     RowBox[{
     "\[Mu]", ",", "\[Nu]", ",", "\[Rho]", ",", "\[Sigma]", ",", "\[Tau]", 
      ",", "\[Kappa]", ",", "5"}], "]"}], "]"}], "]"}]}]], "Input",
 CellLabel->"In[7]:=",
 CellID->1352029659],

Cell[BoxData[
 GraphicsBox[
  TagBox[RasterBox[CompressedData["
1:eJztnQtwVNUZgLF12o6dTlHHkanDjDqAPEQEpkhA3hgKQwcBLQEjlQxvNDqA
QNMpIKApDQ6MvKYBbMCgRSDDQwQF6QiVImBDDfIKEAiPBBIxL7KbbDanu7lI
ILn3nLv33HPOfw7/NwMD7Gaz5zv/vbmb7PA9lvT6sPE/adKkybRfRH4bNmZm
n6lTx/xpeNPIX15MnjZpQvK4sQOTp4+bMG5q16SfRv5xYOTXpXuaNIn+mWhJ
uFb1M0Co4AbJAT0jKgh/v2di4tr8iosb3hi34mywwa2h/IzhSftLCKnITu45
+kBpTA9dfW3f3wZ2n3M8QCqPzez5/K7ihiMeLsvZsOrjzz/PnDNmwcHS22+t
DZz/7P312z/NmN7pgQcebfXEE+37v3MqcOvmmqI980b2eurRX9//eJsnu4zc
drUmpicmHUfJTEUs2BuEkm/e7OjBDTTP1E00TDKikNIDL8dN2XcgY+nuq6FG
N9YW7xw+6KMrNSR4akHX/hsLw7E+esm+xPhl5wKF25PmHSprcHyEr38x5ffL
zlYREjy5oPeoA2X1n7Zk/7Shy85URQ+RNf0G72x4BgsHCouCtZU5c0aszW/8
pAFCk0xTxIS5QSjZwtmDK1ienTbROMkIlVDBpoSOiV87T1fwzOIRf3g3N+B4
BwqVOW+2/U37TqP3Xrc7TVQcmRyfeipIai5/0Ltr6ulG1ypMAifeGTz74OF1
Gd82Og2Fr2YN6pGWGxljcuPo1P4pOZW3brr+xbDus49H11OV+27/P/7HdunB
k4sS0s9Vx/yU7FEnmaKIDWuDULIFxYMrWJ6dNlGBZEQZoSubxz77UPMEyoSH
S7OzsrJLYr7ojVCdt6xnv5UfJnV56bPixh8fuYiIe+7T4tqqs3/v0/blr8ti
/wyB797qk/iX9WdsDo2yAyNaxmVejrzmq/jf/MTl0WuPm4QLN/aNWxg9sIJn
Vo6c+99yu0cOXVg9YNRu268wsaNSMkURE+YGoWQLZw+uYHp22ET5khFlVF/a
9OclO9I6taBNuHdCl9b165aWW3H5w9GD3v6q4TFSc+WjPq179U184620xUM6
D1m0Na/SfqBm3klBQcGPt5QdnjIxM9/ukiFwYk77R54ZPGftti3rM/5VeMdd
Qlc2TRo6K+OTbZnv777kcDEfuviPfq0G7ihiHdc1V7dPeO0QVZ5SyRRFP+Ko
l7lBsiS7QKlkmod6vHt23ETJk4woozp/Q0r6ydK8FZ2dJry6aP+aifE9hi5c
lE67MKu6uGNx2qrM5RNa3fezh+Nfnb8uz8XLzNriXS/0W57Hfm1W88OhVdMS
R41Nnp7y9ursUlcHduhCeo+ui2K9vvFAzaV1zw3e+4PzHdRKdoGjXuYGSZPM
RK1kdx68e5YDc5IRZVSdz0xZkxsg1eedJ5yQki+HtnhmyZaVxx2/4NaWHXqz
S6/0C9UkeHJum4e7bShwdTaNTmjcDPY39gInUp9t/dLmyzGNcnXe0rinZxzz
8ro/RhgTrlgyG2e9zA2SJ5mBYsmuPHB4lgSeq1URurIxaUCvBgx69auSm6+u
gmfXpqw9F33ZRJ3wiiPjW3ecveW9bxy/3xUu+uR3zTvUXVWUH05q12O1vz9w
vpE9+bFfPdJ32IgICWNTT9zw88G9U683rvX9D3bo3lCvBXzJQPVasGbYAr5k
Atmzu0lG1BE8nda7Q/sOdbRtft/Pm7Z8qs/rRysa3q3y2Mx27SZnLfvymuP7
MkMX1/y2WefIXIeLdk16ITW73N89LtkX3+zx147Cme0G0K5GNJAMXS8bDSQT
LTzjdTV8Qvmru7S0vxqpOpPWsXXixyszj/x7zzGHt2mEy7/7Z8rk6Us3bN2y
9+wN378YB0+ntn+o4+Lc2N/PJweXEw5VMnS9MQFVMtHCM56r4UOZ8MDJeT2e
HPbK8OQ1OeUO812865U2zR/85b33RLi3aadp9u8b4qC2/NsVSb27DRk/Y/bc
+Yu3F6j+EUwD+M/VaiUD1xsTYCUTHTzjudpoqgt2/nX+5gvWxUJt6PrhJbMO
4mb7DEqWAEpGTKamcPOAFv23XLOuU8LluXu27r4M+EWelqBkCaBkxGxqK3LS
nm/TrPnT8QkTZi1Mz/rme/wvB3wHJUsAJSMIgiAIgiAIgiAIgiAIgiAIgtxl
YPlIKKj3dtCGBFCyRCjZI0Z7yB2ey0d1T84huqRb9shRMvdChOj1aevlw2WD
iuc6mHkBL55mHBNvqTvzJNvimD1itYfc4bV8FMUxuqRd9shJMvdChOj1aevl
w2ODgcc6mIEBL45mnAu8pO4ASVaUPXLVHmLitXxEmNElU9pSXAsRo9efrW+M
UMmEywYDr3Uw0ypphKsZx8ZT6g5MJU1V9shVe4iJ1/JRFHp0yZi2FM9CxOj1
Z+sbIVYy4bNBx2sdzLRKGuFqxrHxlLqDUklTmD1y0x6qxz5+5L18xIwumdKW
crcQuXpj23oCoZJG+Gzcho1q73UwsypphLMZdwcxe4ZdSQPflrIQUj6SFp8C
L1kDvRAqaX5ktkCn6JhAkMzZSlOOx//JEHxbykJM+UhWfAq8ZC30Aqik+ZDZ
Ap6iYwBCMmcrTT2eztVaZI8I2PKRKW0poHotTKmkWQBVbcok3wKiZ65Kmh7Z
I6JF+cgRDSTroVfzSpqFHqrt0UYyAe6Zs+YAOHtEtCgfuQGqZD30al5Js9BD
NRPYkglwz+LO1cqzR0SH8pEbwErWQq/ulTQLLVQzAS6ZwPasrpKG2SMJoGQJ
oGQJoGRlYPZIAihZAihZAihZIZg9kgBKlgBKlgBKRhAEQRAEQRAEQRAEQRAE
QRAkdjDKIwGUbCq4s3K4Wz3Tozz8OSdvXZ66jzSk4UXokvmW479eHRteHItl
Qg94cR0+ek0yT0jLBTye6z7enNOFA9Qojx85Jy9dnijmNLzokjmX47teXRte
3hbrAmrAi+vw0W+SvYa03ODdcxQIpwulUR4fck6eujzEpIYXYZePvC9HgF5N
G17eZ4kOPcHGf/hoNclcIS06HJ6J5NOFPWqjPD7knDx1eaIY0/AiLspHnpcj
QK+uDS/Ps0SHbpj/8NFrknlCWnQ4PEeReLqwR3mUh7vk5bHLY1DDi7jJS3kt
eQnRq2fDy/ss1ROzYR8OH60mmSukVY/fnn07XUBuePlRPrLwuctjUsNLVV6K
gnkNLwriwlL+HT4+AL5GZyHEs1/zDLjh5UP5yMLvLo9JDS9VeSkK5jW8KIgL
S/l2+PgA+BqdhRjPvs2z0Q0vC3BdHrPKR+D0WhjU8AJqmOAkS+HuaHhZgO7y
OKKNZOh69W94QTfMQA/JBL5noxteFqC7PG6ALRm6Xv0bXtANuwewZALfs9kN
LwvIXR43AJcMXK8BDS/ght0DWTIB7xkbXkaDkiWAkiWAkpWBUR4JoGQJoGQJ
oGSFYJRHAihZAihZAigZQRAEQRAEQRAEQRAEQRAEQRAduFtzPGpA20JBvXK4
Cz1TojyCwlJ1eM/x6JiXshC5Iu+2hQ2AGsRUnITo1XOShSbJBHmue2jvBTdA
OER5BIalOHI8uualBK+Iy7aYAVCBqIqTCL1aTrLgJJkQz3XPi6fgFgvqykeC
wlI8OR5N81JiV8RnW8gA2KJOct2DqxlmgdErW0RKFpskEzbGXAW3GFBZPhIU
luLI8eialxK6Ik7bIgbADoWS6z69omEWF72yQ6hksUkycWPMU3CL4fmrLB8J
Cktx5Xj0zEv5tyL/bXMPgDvUSibKhtmn6BUBMcm+JcmkjrHrghsP4KM8oHM8
N58igLyUTyvSODKlg2ToeiFMsh/I9iyjBgg+ygM8x2MBIC/lz4o0jkzpIBm+
XgCT7APSPUuoAcKP8gDN8VgYlJeygGjboLwURL0WZk0yXM/e0SDKAz3HY6F/
XspCD9s26CFZA71GTLIGnnmAGuWBnuOx0D8vZaGHbTqAJWug14hJ1sAzD2Cj
PMBzPBYG5KUstLBNB7Jk+HrNmGT4nhWBUR4JoGQJoGQJoGRlYJRHAihZAihZ
AihZIRjlkQBKlgBKlgBKRhAEQfTl/1AKo+4=
    "], {{0, 73}, {484, 0}}, {0, 255},
    ColorFunction->RGBColor],
   BoxForm`ImageTag["Byte", ColorSpace -> "RGB", Interleaving -> True],
   Selectable->False],
  DefaultBaseStyle->"ImageGraphics",
  ImageSize->Automatic,
  ImageSizeRaw->{484, 73},
  PlotRange->{{0, 484}, {0, 73}}]], "Output",
 ImageSize->{488, 73},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"RasterizedOutput",
 CellLabel->"Out[7]=",
 CellID->1038320327]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FCSetDiracGammaScheme", "[", "\"\<Larin\>\"", "]"}]], "Input",
 CellLabel->"In[8]:=",
 CellID->969077787],

Cell[BoxData[
 FormBox["\<\"Larin\"\>", TraditionalForm]], "Output",
 ImageSize->{35, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[8]=",
 CellID->1981877909]
}, Open  ]],

Cell["In Larin's scheme reproduces the results of the BMHV scheme", \
"ExampleText",
 CellID->1939646369],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"res2", "=", 
  RowBox[{"DiracSimplify", "[", 
   RowBox[{"DiracTrace", "[", 
    RowBox[{"GAD", "[", 
     RowBox[{
     "\[Mu]", ",", "\[Nu]", ",", "\[Rho]", ",", "\[Sigma]", ",", "\[Tau]", 
      ",", "\[Kappa]", ",", "5"}], "]"}], "]"}], "]"}]}]], "Input",
 CellLabel->"In[9]:=",
 CellID->1886065691],

Cell[BoxData[
 GraphicsBox[
  TagBox[RasterBox[CompressedData["
1:eJztnQtQVFUYgLGaamyaLMfRyWHGHB/4wOdEoqEihOnQqGiJipaMio/CRkyN
JjE1ybDBSdQJxcBQwweDb0uzUYtMLSx8oIAoCqKg8ZJd9nXbB6Wye8+9e+85
e/+z/N+Mjrpw2fOdf+/eXdTvlej5EbOe8PHxiXvW+lPE9MXBCxZM/3h8G+tv
3o6NmxMTO3PGqNiFM2NmLhgU/aT1DwOsP/Jb+fjYfi1ohtmi3dduGaBh1qBh
hAeMpenjo09VC0J9XuzQabk1j95muHvyy1FDEi7phIYLi4eOPVIlf6bN947N
jsoorb+Z9eHMDcV6p5tr87M27fzxx8yE6StP1zx6WIvu+g9btu0/lL5wwEsv
derWvbt/6Koruv9vNlUeWz5pWJ9OL7zYuUfvgEn77pgUrNmzkAw7ELdBRlQy
ceNammGJ9UqhTLL9M0W2lUPDCG0sVYfHj95RbhL0V1YOCt1VYW52e/XJqLCU
a7qK/dHLz9S6cS1Rkzs1cN7J3PR1R+8YnW403/9p3lspxY2CoC9YOXxybu3D
u1N9Km5cSlGj7cGUFhJ+uPkwm3UVlXpLQ37CxIxS5+OCRMowwYYUJMliG9fS
DEutVxIlkm2IbiuHhlsgxtu7I/tH/S7+YNQXJU9856tC+c/gj1N/bm5Y4hW9
YCr7bvigxKtOl6a6y6vCl54+uzX9b3dOu0JD/kc9X/YfMO34fRefZb6TPToo
qdA6ksKD8wtC4/Mb/r/p/k8RQ5Zesi2msfCr0Hd/c7lufcGayNRrBjfuDgmt
DRNsSECULLZxLc2wrPUSUCRZkNxWuoYRyhjL98x4vZ1vJGFozTV52dl51U7X
UfKwXiMEvnGoytJY/E1wz6m/1zodRnfxs+CoT7cVyT4b2DGUpAwN2bg9OmDK
D1XO96w2d2LXwMwy6wus+r9WRK23XY00Ya7YNSJwtW1a9UUbJy37s87VwY03
No+cfNTV40AB2hsWtyEBWbLIxrU0w7LWS0CRZBvkbaVqGKGM4dbuT9YeTBrQ
hTS0qjCV7wj2GzYi6sPPkpLHDByzZm9JQ7NZqD07b3ZmqZvPzMZbW0MGJxXW
l22fNvrzX5s/oHSXE/w7vhaekLEvZ1v6zxWPHdtYvnvOuCXpB/Zlbjl6y+ni
sOljbn4b0m3UwUqFj9NHAWCYZIMIWbLoxtE0bLqzP+aDM0RzmhuWs15xFEqW
3FaKM4xQxlCaFZ9aUFOyYaDY0BoqT6XNDgsat3pNKumKtPHmweSkTZnrY7q1
frp92Psrtpb895rOUnVkQsj6ElUveEz/nNkUFzV5RuzC+M8359VIT5LxRmrQ
oDXyL+zYAcGwPBtuS/YMpltb3wg//o/4B0AwLBuakuEMOeIejdcz49MKdYLh
uvjQCkL1iXFdXlubs/GS6NWEpfbMRwHDUm8YBH3Bsh7tB2fdfjhQtpkNXCT/
PUUX6C4nvu43ZU+Z/Lk3lKwL7LfogpovSgcQhmXZcF+yh5A48YIwLBeqksEM
OeIe+uKM+IxrthdGxKGtPzfLr//SnK//EH2zyFx54E3fvvan3rqz0b2CNtP9
PuqDvLmvPN9xRMREK5EzEi8/oHlwhRjLd0WPHNaM0e//Wv2YI14MCwAlPzQc
6Pdi275DuDcsQJMsb4YR2uivJg3v69/XTk/f1s+06doneP75+uYf1nBhca9e
c7NTTtwV/YuAxptpr3YYaB1Vc+WRORMS8+ro7lz1ybAOnT84r/mpwG24MSxA
lky64uXJsABZMqIJxtLNAV1dXy00FiX194vauTHz3C/HLjh/t9yOue7i9/Fz
F67L2ptzvPgB9YnVX030b9c/udDtb1oAArZhAbJkyfd4HYA3LECWjGgCYWh1
BcuDeke8Nz42Lb9OZGSrjrzXw7ftc0+1svJUmwFxbv9tGiksdX9viB4+eMys
RUuXrUjefxvc25DSADcsAJas/sQLxLAAWDLCG4bbh79YseeG4zncYrx/du2S
05IPEsQN0DBr0DDCGaaKPSO7hObcdVxHmOsKj+09WoYvpCiChlmDhhHusNTn
J43t0cG3X1hkzJLVqdl/3MN/F04XNMwaNIwgCIIgCIIgCIIgCIIgCIIgCM9g
VMX7wD31ACgZcRNSVEVFwYR+TkV14UUDVCyWDLm7pCqUw1e2Rk0CSQo1ku2f
j2EgRAxSVEVNwYR6TkV94UUblC1WCmJ3SVUoh79sjdIEkiTKJdvAMBDXaJ2t
UVgwYZBTUVt4EYOxYeXtGAJEvRRCOVyFgVQlkAiokCxgGIhvtM/WKCuYMMip
qC28iMDcsOJ2DAGyXvWhHL7CQGoSSARUSLaBYSB+0TyqIigsmDDJqbhdeAGR
rVHejhGHrJdCKIer9JKqBJI4qiRTCwPJmGGEMpxEVeDmVCBkawgwSgLRC+VQ
QFvDsqEvmdYky/zf4RBqcBJVgZxTAZCtIcAoCUQtlEMBjQ3LhYFkapOMJ17P
wktUBVZOxYEXZWsg6hW8Lb0EUbK8GUZow01UBXROhf9sDWi9EvBhWAAuGa94
tQJ2VAV0ToX/bA1ovfIBbFgALhlPvFoBPKoCOafiBdkayHrlA9mwAFsynng5
BKMqrEHDrEHDCGdgVIU1aJg1aBjhDoyqsAYNswYNIwiCIAiCIAiCIAiCIAiC
IAiCPAIGUzwGqmYHuvUA3iSZkE1hEf2xozyYwmP6xwGzFSlXzWbrNYNBZIeJ
Wz5nmF0ripFk+6EVRrU8hEg2hVX0R0Uwhdf0D8sVqVLNYOs1gklkh4VbLmeY
ZSuKiWT7nVIc1foP7cI0LKI/aoIpnKZ/GK5InWr6Wy+GdobtB9dgjFnViMRg
aZhhK4rZACuPajWhZZiGRfRHRTCF1/QPuxWpVE1960XQ0LD9y2sxxoxqRCIw
NcywFcVugBVHtZrumJZhGhbRH1XBFD7TP1RX9BgqVVPfetdoa1jQZozp1YgA
zDCzVhS7AVYc1bIDPpsCN5jSdP8ApH8orYjXABAPhkG7hTDDNPCoZFUjAT6b
AjmY4gBA+ofOingNAPFgGLhbADNMAc9KVjMS8LMpEIMpDrwo/eMAnGovSv+A
c+vAu2YYqGQXcJBNAR1MccB/+scBB6pdwIdh6G69YoahS3YJ1GwK6GCKA/7T
Pw44UE0GsGHobr1ihqFLdgnYbArkYIoDL0j/OICvmgxkw8DdescMA5dMG8ym
sAYNswYNswYNUwazKaxBw6xBw6xBw9TBbApr0DBr0DBr0DCCIAjClH8BxALu
Tg==
    "], {{0, 54}, {467, 0}}, {0, 255},
    ColorFunction->RGBColor],
   BoxForm`ImageTag["Byte", ColorSpace -> "RGB", Interleaving -> True],
   Selectable->False],
  DefaultBaseStyle->"ImageGraphics",
  ImageSize->Automatic,
  ImageSizeRaw->{467, 54},
  PlotRange->{{0, 467}, {0, 54}}]], "Output",
 ImageSize->{471, 54},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"RasterizedOutput",
 CellLabel->"Out[9]=",
 CellID->91091737]
}, Open  ]],

Cell["\<\
Owing to Schouten identities, proving the equivalence of chiral traces is not \
so simple, especially for many terms. FCSchoutenBruteForce can be helpful here\
\>", "ExampleText",
 CellID->958789175],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"diff", "=", 
  RowBox[{"ChangeDimension", "[", 
   RowBox[{
    RowBox[{"res1", "-", "res2"}], ",", "D"}], "]"}]}]], "Input",
 CellLabel->"In[10]:=",
 CellID->1406824487],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"-", 
    RowBox[{"4", " ", "\[ImaginaryI]", " ", 
     SuperscriptBox["g", 
      RowBox[{
       FormBox[
        FormBox["\[Kappa]",
         TraditionalForm],
        TraditionalForm], 
       FormBox[
        FormBox["\[Mu]",
         TraditionalForm],
        TraditionalForm]}]], " ", 
     SuperscriptBox[
      OverscriptBox["\[Epsilon]", ""], 
      RowBox[{
       FormBox[
        FormBox["\[Nu]",
         TraditionalForm],
        TraditionalForm], 
       FormBox[
        FormBox["\[Rho]",
         TraditionalForm],
        TraditionalForm], 
       FormBox[
        FormBox["\[Sigma]",
         TraditionalForm],
        TraditionalForm], 
       FormBox[
        FormBox["\[Tau]",
         TraditionalForm],
        TraditionalForm]}]]}]}], "+", 
   RowBox[{"4", " ", "\[ImaginaryI]", " ", 
    SuperscriptBox["g", 
     RowBox[{
      FormBox[
       FormBox["\[Kappa]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm]}]], " ", 
    SuperscriptBox[
     OverscriptBox["\[Epsilon]", ""], 
     RowBox[{
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Rho]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Sigma]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Tau]",
        TraditionalForm],
       TraditionalForm]}]]}], "-", 
   RowBox[{"4", " ", "\[ImaginaryI]", " ", 
    SuperscriptBox["g", 
     RowBox[{
      FormBox[
       FormBox["\[Kappa]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Rho]",
        TraditionalForm],
       TraditionalForm]}]], " ", 
    SuperscriptBox[
     OverscriptBox["\[Epsilon]", ""], 
     RowBox[{
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Sigma]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Tau]",
        TraditionalForm],
       TraditionalForm]}]]}], "+", 
   RowBox[{"4", " ", "\[ImaginaryI]", " ", 
    SuperscriptBox["g", 
     RowBox[{
      FormBox[
       FormBox["\[Kappa]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Sigma]",
        TraditionalForm],
       TraditionalForm]}]], " ", 
    SuperscriptBox[
     OverscriptBox["\[Epsilon]", ""], 
     RowBox[{
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Rho]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Tau]",
        TraditionalForm],
       TraditionalForm]}]]}], "-", 
   RowBox[{"4", " ", "\[ImaginaryI]", " ", 
    SuperscriptBox["g", 
     RowBox[{
      FormBox[
       FormBox["\[Kappa]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Tau]",
        TraditionalForm],
       TraditionalForm]}]], " ", 
    SuperscriptBox[
     OverscriptBox["\[Epsilon]", ""], 
     RowBox[{
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Rho]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Sigma]",
        TraditionalForm],
       TraditionalForm]}]]}]}], TraditionalForm]], "Output",
 ImageSize->{353, 35},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[10]=",
 CellID->981092168]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{"Contract", "[", 
  RowBox[{
   RowBox[{"FV", "[", 
    RowBox[{"p1", ",", "\[Mu]"}], "]"}], 
   RowBox[{"FV", "[", 
    RowBox[{"p2", ",", "\[Nu]"}], "]"}], 
   RowBox[{"FV", "[", 
    RowBox[{"p3", ",", "\[Rho]"}], "]"}], 
   RowBox[{"FV", "[", 
    RowBox[{"p4", ",", "\[Sigma]"}], "]"}], 
   RowBox[{"FV", "[", 
    RowBox[{"p5", ",", "\[Tau]"}], "]"}], 
   RowBox[{"FV", "[", 
    RowBox[{"p6", ",", "\[Kappa]"}], "]"}], "diff"}], 
  "]"}], "\[IndentingNewLine]", 
 RowBox[{"FCSchoutenBruteForce", "[", 
  RowBox[{"%", ",", 
   RowBox[{"{", "}"}], ",", 
   RowBox[{"{", "}"}]}], "]"}]}], "Input",
 CellLabel->"In[11]:=",
 CellID->1776546156],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"-", 
    RowBox[{"4", " ", "\[ImaginaryI]", " ", 
     RowBox[{"(", 
      RowBox[{
       FormBox[
        OverscriptBox[
         FormBox["p1",
          TraditionalForm], "_"],
        TraditionalForm], 
       FormBox["\<\"\[CenterDot]\"\>",
        TraditionalForm], 
       FormBox[
        OverscriptBox[
         FormBox["p6",
          TraditionalForm], "_"],
        TraditionalForm]}], ")"}], " ", 
     SuperscriptBox[
      OverscriptBox["\[Epsilon]", "_"], 
      RowBox[{
       FormBox[
        OverscriptBox[
         FormBox["p2",
          TraditionalForm], "_"],
        TraditionalForm], 
       FormBox[
        OverscriptBox[
         FormBox["p3",
          TraditionalForm], "_"],
        TraditionalForm], 
       FormBox[
        OverscriptBox[
         FormBox["p4",
          TraditionalForm], "_"],
        TraditionalForm], 
       FormBox[
        OverscriptBox[
         FormBox["p5",
          TraditionalForm], "_"],
        TraditionalForm]}]]}]}], "+", 
   RowBox[{"4", " ", "\[ImaginaryI]", " ", 
    RowBox[{"(", 
     RowBox[{
      FormBox[
       OverscriptBox[
        FormBox["p2",
         TraditionalForm], "_"],
       TraditionalForm], 
      FormBox["\<\"\[CenterDot]\"\>",
       TraditionalForm], 
      FormBox[
       OverscriptBox[
        FormBox["p6",
         TraditionalForm], "_"],
       TraditionalForm]}], ")"}], " ", 
    SuperscriptBox[
     OverscriptBox["\[Epsilon]", "_"], 
     RowBox[{
      FormBox[
       OverscriptBox[
        FormBox["p1",
         TraditionalForm], "_"],
       TraditionalForm], 
      FormBox[
       OverscriptBox[
        FormBox["p3",
         TraditionalForm], "_"],
       TraditionalForm], 
      FormBox[
       OverscriptBox[
        FormBox["p4",
         TraditionalForm], "_"],
       TraditionalForm], 
      FormBox[
       OverscriptBox[
        FormBox["p5",
         TraditionalForm], "_"],
       TraditionalForm]}]]}], "-", 
   RowBox[{"4", " ", "\[ImaginaryI]", " ", 
    RowBox[{"(", 
     RowBox[{
      FormBox[
       OverscriptBox[
        FormBox["p3",
         TraditionalForm], "_"],
       TraditionalForm], 
      FormBox["\<\"\[CenterDot]\"\>",
       TraditionalForm], 
      FormBox[
       OverscriptBox[
        FormBox["p6",
         TraditionalForm], "_"],
       TraditionalForm]}], ")"}], " ", 
    SuperscriptBox[
     OverscriptBox["\[Epsilon]", "_"], 
     RowBox[{
      FormBox[
       OverscriptBox[
        FormBox["p1",
         TraditionalForm], "_"],
       TraditionalForm], 
      FormBox[
       OverscriptBox[
        FormBox["p2",
         TraditionalForm], "_"],
       TraditionalForm], 
      FormBox[
       OverscriptBox[
        FormBox["p4",
         TraditionalForm], "_"],
       TraditionalForm], 
      FormBox[
       OverscriptBox[
        FormBox["p5",
         TraditionalForm], "_"],
       TraditionalForm]}]]}], "+", 
   RowBox[{"4", " ", "\[ImaginaryI]", " ", 
    RowBox[{"(", 
     RowBox[{
      FormBox[
       OverscriptBox[
        FormBox["p4",
         TraditionalForm], "_"],
       TraditionalForm], 
      FormBox["\<\"\[CenterDot]\"\>",
       TraditionalForm], 
      FormBox[
       OverscriptBox[
        FormBox["p6",
         TraditionalForm], "_"],
       TraditionalForm]}], ")"}], " ", 
    SuperscriptBox[
     OverscriptBox["\[Epsilon]", "_"], 
     RowBox[{
      FormBox[
       OverscriptBox[
        FormBox["p1",
         TraditionalForm], "_"],
       TraditionalForm], 
      FormBox[
       OverscriptBox[
        FormBox["p2",
         TraditionalForm], "_"],
       TraditionalForm], 
      FormBox[
       OverscriptBox[
        FormBox["p3",
         TraditionalForm], "_"],
       TraditionalForm], 
      FormBox[
       OverscriptBox[
        FormBox["p5",
         TraditionalForm], "_"],
       TraditionalForm]}]]}], "-", 
   RowBox[{"4", " ", "\[ImaginaryI]", " ", 
    RowBox[{"(", 
     RowBox[{
      FormBox[
       OverscriptBox[
        FormBox["p5",
         TraditionalForm], "_"],
       TraditionalForm], 
      FormBox["\<\"\[CenterDot]\"\>",
       TraditionalForm], 
      FormBox[
       OverscriptBox[
        FormBox["p6",
         TraditionalForm], "_"],
       TraditionalForm]}], ")"}], " ", 
    SuperscriptBox[
     OverscriptBox["\[Epsilon]", "_"], 
     RowBox[{
      FormBox[
       OverscriptBox[
        FormBox["p1",
         TraditionalForm], "_"],
       TraditionalForm], 
      FormBox[
       OverscriptBox[
        FormBox["p2",
         TraditionalForm], "_"],
       TraditionalForm], 
      FormBox[
       OverscriptBox[
        FormBox["p3",
         TraditionalForm], "_"],
       TraditionalForm], 
      FormBox[
       OverscriptBox[
        FormBox["p4",
         TraditionalForm], "_"],
       TraditionalForm]}]]}]}], TraditionalForm]], "Output",
 ImageSize->{493, 54},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[11]=",
 CellID->8901553],

Cell[CellGroupData[{

Cell[BoxData[
 FormBox[
  InterpretationBox[
   RowBox[{"\<\"FCSchoutenBruteForce: The following rule was applied: \"\>", 
    "\[InvisibleSpace]", 
    RowBox[{
     RowBox[{
      SuperscriptBox[
       OverscriptBox["\[Epsilon]", "_"], 
       RowBox[{
        FormBox[
         OverscriptBox[
          FormBox["p2",
           TraditionalForm], "_"],
         TraditionalForm], 
        FormBox[
         OverscriptBox[
          FormBox["p3",
           TraditionalForm], "_"],
         TraditionalForm], 
        FormBox[
         OverscriptBox[
          FormBox["p4",
           TraditionalForm], "_"],
         TraditionalForm], 
        FormBox[
         OverscriptBox[
          FormBox["p5",
           TraditionalForm], "_"],
         TraditionalForm]}]], " ", 
      RowBox[{"(", 
       RowBox[{
        FormBox[
         OverscriptBox[
          FormBox["p1",
           TraditionalForm], "_"],
         TraditionalForm], 
        FormBox["\<\"\[CenterDot]\"\>",
         TraditionalForm], 
        FormBox[
         OverscriptBox[
          FormBox["p6",
           TraditionalForm], "_"],
         TraditionalForm]}], ")"}]}], "\[RuleDelayed]", 
     RowBox[{
      RowBox[{
       SuperscriptBox[
        OverscriptBox["\[Epsilon]", "_"], 
        RowBox[{
         FormBox[
          OverscriptBox[
           FormBox["p1",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p3",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p4",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p5",
            TraditionalForm], "_"],
          TraditionalForm]}]], " ", 
       RowBox[{"(", 
        RowBox[{
         FormBox[
          OverscriptBox[
           FormBox["p2",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox["\<\"\[CenterDot]\"\>",
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p6",
            TraditionalForm], "_"],
          TraditionalForm]}], ")"}]}], "-", 
      RowBox[{
       SuperscriptBox[
        OverscriptBox["\[Epsilon]", "_"], 
        RowBox[{
         FormBox[
          OverscriptBox[
           FormBox["p1",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p2",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p4",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p5",
            TraditionalForm], "_"],
          TraditionalForm]}]], " ", 
       RowBox[{"(", 
        RowBox[{
         FormBox[
          OverscriptBox[
           FormBox["p3",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox["\<\"\[CenterDot]\"\>",
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p6",
            TraditionalForm], "_"],
          TraditionalForm]}], ")"}]}], "+", 
      RowBox[{
       SuperscriptBox[
        OverscriptBox["\[Epsilon]", "_"], 
        RowBox[{
         FormBox[
          OverscriptBox[
           FormBox["p1",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p2",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p3",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p5",
            TraditionalForm], "_"],
          TraditionalForm]}]], " ", 
       RowBox[{"(", 
        RowBox[{
         FormBox[
          OverscriptBox[
           FormBox["p4",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox["\<\"\[CenterDot]\"\>",
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p6",
            TraditionalForm], "_"],
          TraditionalForm]}], ")"}]}], "-", 
      RowBox[{
       SuperscriptBox[
        OverscriptBox["\[Epsilon]", "_"], 
        RowBox[{
         FormBox[
          OverscriptBox[
           FormBox["p1",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p2",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p3",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p4",
            TraditionalForm], "_"],
          TraditionalForm]}]], " ", 
       RowBox[{"(", 
        RowBox[{
         FormBox[
          OverscriptBox[
           FormBox["p5",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox["\<\"\[CenterDot]\"\>",
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p6",
            TraditionalForm], "_"],
          TraditionalForm]}], ")"}]}]}]}], "\[InvisibleSpace]", "\<\" \"\>"}],
   
   SequenceForm[
   "FCSchoutenBruteForce: The following rule was applied: ", FeynCalc`Eps[
       FeynCalc`Momentum[$CellContext`p2], 
       FeynCalc`Momentum[$CellContext`p3], 
       FeynCalc`Momentum[$CellContext`p4], 
       FeynCalc`Momentum[$CellContext`p5]] FeynCalc`Pair[
       FeynCalc`Momentum[$CellContext`p1], 
       FeynCalc`Momentum[$CellContext`p6]] :> FeynCalc`Eps[
        FeynCalc`Momentum[$CellContext`p1], 
        FeynCalc`Momentum[$CellContext`p3], 
        FeynCalc`Momentum[$CellContext`p4], 
        FeynCalc`Momentum[$CellContext`p5]] FeynCalc`Pair[
        FeynCalc`Momentum[$CellContext`p2], 
        FeynCalc`Momentum[$CellContext`p6]] - FeynCalc`Eps[
       FeynCalc`Momentum[$CellContext`p1], 
       FeynCalc`Momentum[$CellContext`p2], 
       FeynCalc`Momentum[$CellContext`p4], 
       FeynCalc`Momentum[$CellContext`p5]] FeynCalc`Pair[
       FeynCalc`Momentum[$CellContext`p3], 
       FeynCalc`Momentum[$CellContext`p6]] + FeynCalc`Eps[
        FeynCalc`Momentum[$CellContext`p1], 
        FeynCalc`Momentum[$CellContext`p2], 
        FeynCalc`Momentum[$CellContext`p3], 
        FeynCalc`Momentum[$CellContext`p5]] FeynCalc`Pair[
        FeynCalc`Momentum[$CellContext`p4], 
        FeynCalc`Momentum[$CellContext`p6]] - FeynCalc`Eps[
       FeynCalc`Momentum[$CellContext`p1], 
       FeynCalc`Momentum[$CellContext`p2], 
       FeynCalc`Momentum[$CellContext`p3], 
       FeynCalc`Momentum[$CellContext`p4]] FeynCalc`Pair[
       FeynCalc`Momentum[$CellContext`p5], 
       FeynCalc`Momentum[$CellContext`p6]], " "],
   Editable->False], TraditionalForm]], "Print",
 CellLabel->"During evaluation of In[59]:=",
 CellID->1870797322],

Cell[BoxData[
 FormBox[
  InterpretationBox[
   RowBox[{"\<\"FCSchoutenBruteForce: The numbers of terms in the expression \
decreased by: \"\>", "\[InvisibleSpace]", "5"}],
   SequenceForm[
   "FCSchoutenBruteForce: The numbers of terms in the expression decreased \
by: ", 5],
   Editable->False], TraditionalForm]], "Print",
 CellLabel->"During evaluation of In[59]:=",
 CellID->2083320504],

Cell[BoxData[
 FormBox[
  InterpretationBox[
   RowBox[{"\<\"FCSchoutenBruteForce: Current length of the expression: \"\>",
     "\[InvisibleSpace]", "0"}],
   SequenceForm["FCSchoutenBruteForce: Current length of the expression: ", 0],
   Editable->False], TraditionalForm]], "Print",
 CellLabel->"During evaluation of In[59]:=",
 CellID->353050808]
}, Open  ]],

Cell[BoxData[
 FormBox["0", TraditionalForm]], "Output",
 ImageSize->{13, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[11]=",
 CellID->2075390810]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FCSetDiracGammaScheme", "[", "\"\<NDR\>\"", "]"}]], "Input",
 CellLabel->"In[12]:=",
 CellID->692469312],

Cell[BoxData[
 FormBox["\<\"NDR\"\>", TraditionalForm]], "Output",
 ImageSize->{35, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[12]=",
 CellID->1788510841]
}, Open  ]]
}, Open  ]],

Cell["", "SectionFooterSpacer"]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "See Also"
}], "SeeAlsoSection",
 WholeCellGroupOpener->True,
 CellID->1255426704],

Cell[TextData[{
 StyleBox[ButtonBox["FCGetDiracGammaScheme",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/FCGetDiracGammaScheme",
  ButtonNote->"FCGetDiracGammaScheme"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["DiracTrace",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracTrace",
  ButtonNote->"DiracTrace"],
  FontFamily->"Verdana"],
 "."
}], "SeeAlso",
 CellID->830480392]
}, Open  ]],

Cell[" ", "FooterCell"]
},
Saveable->False,
ScreenStyleEnvironment->"Working",
WindowSize->{725, 750},
WindowMargins->{{-10, Automatic}, {Automatic, -8}},
WindowTitle->"FCSetDiracGammaScheme",
TaggingRules->{
 "ModificationHighlight" -> False, "ColorType" -> "SymbolColor", "LinkTrails" -> 
  GridBox[{{
      RowBox[{
        ButtonBox[
        "FeynCalc", ButtonData -> "paclet:FeynCalc/guide/FeynCalc", 
         BaseStyle -> {"Link", "DockedLinkTrail"}]}]}}, ColumnAlignments -> 
    Left], "HasOptions" -> False, "ExampleCounter" -> 1, "NeedPlatMsgIn" -> 
  None, "RootCaptions" -> "", 
  "Metadata" -> {
   "built" -> "{2020, 6, 20, 19, 6, 19.974714}", 
    "history" -> {"9.3", "", "", ""}, "context" -> "FeynCalc`", 
    "keywords" -> {}, "specialkeywords" -> {}, 
    "tutorialcollectionlinks" -> {}, "index" -> True, "label" -> 
    "Feyn Calc Symbol", "language" -> "en", "paclet" -> "FeynCalc", "status" -> 
    "None", "summary" -> 
    "FCSetDiracGammaScheme[\"scheme\"] allows you to specify how Dirac \
matrices will be handled in D dimensions. This is mainly relevant to the \
treatment of the fifth Dirac matrix \\[Gamma]^5, which is not well-defined in \
dimensional regularization.", "synonyms" -> {}, "tabletags" -> {}, "title" -> 
    "FCSetDiracGammaScheme", "titlemodifier" -> "", "windowtitle" -> 
    "FCSetDiracGammaScheme", "type" -> "Symbol", "uri" -> 
    "FeynCalc/ref/FCSetDiracGammaScheme"}, "SearchTextTranslated" -> ""},
CellContext->"Global`",
FrontEndVersion->"10.4 for Linux x86 (64-bit) (April 11, 2016)",
StyleDefinitions->Notebook[{
   Cell[
    StyleData[
    StyleDefinitions -> FrontEnd`FileName[{"Wolfram"}, "Reference.nb"]]], 
   Cell[
    StyleData["Input"], CellContext -> "Global`"], 
   Cell[
    StyleData["Output"], CellContext -> "Global`"]}, Visible -> False, 
  FrontEndVersion -> "10.4 for Linux x86 (64-bit) (April 11, 2016)", 
  StyleDefinitions -> "Default.nb"]
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{
 "PrimaryExamplesSection"->{
  Cell[9402, 259, 388, 15, 31, "PrimaryExamplesSection",
   CellTags->"PrimaryExamplesSection",
   CellID->1187084404]},
 "RasterizedOutput"->{
  Cell[15419, 509, 4650, 84, 94, "Output",
   CellTags->"RasterizedOutput",
   CellID->1038320327],
  Cell[20912, 629, 3823, 71, 75, "Output",
   CellTags->"RasterizedOutput",
   CellID->91091737]}
 }
*)
(*CellTagsIndex
CellTagsIndex->{
 {"PrimaryExamplesSection", 45936, 1474},
 {"RasterizedOutput", 46080, 1478}
 }
*)
(*NotebookFileOutline
Notebook[{
Cell[593, 21, 3179, 76, 53, "AnchorBarGrid",
 CellID->1],
Cell[3775, 99, 298, 11, 45, "ObjectNameGrid"],
Cell[CellGroupData[{
Cell[4098, 114, 656, 17, 102, "Usage",
 CellID->982511436],
Cell[CellGroupData[{
Cell[4779, 135, 739, 24, 31, "NotesSection",
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->1223196223],
Cell[5521, 161, 31, 0, 70, "SectionHeaderSpacer"],
Cell[5555, 163, 71, 1, 70, "Notes",
 CellID->1067943069],
Cell[5629, 166, 919, 21, 70, "Notes",
 CellID->190401776],
Cell[6551, 189, 257, 7, 70, "Notes",
 CellID->1784502655],
Cell[6811, 198, 421, 9, 70, "Notes",
 CellID->665441283],
Cell[7235, 209, 799, 19, 70, "Notes",
 CellID->2003509557],
Cell[8037, 230, 1316, 23, 70, "Notes",
 CellID->93561036]
}, Closed]]
}, Open  ]],
Cell[CellGroupData[{
Cell[9402, 259, 388, 15, 31, "PrimaryExamplesSection",
 CellTags->"PrimaryExamplesSection",
 CellID->1187084404],
Cell[CellGroupData[{
Cell[9815, 278, 196, 6, 26, "ExampleSection",
 CellID->1196363630],
Cell[CellGroupData[{
Cell[10036, 288, 128, 3, 27, "Input",
 CellID->1948773281],
Cell[10167, 293, 197, 6, 35, "Output",
 CellID->1851033209]
}, Open  ]],
Cell[CellGroupData[{
Cell[10401, 304, 250, 7, 27, "Input",
 CellID->98306849],
Cell[10654, 313, 1454, 58, 43, "Output",
 CellID->319736968]
}, Open  ]],
Cell[12123, 374, 122, 3, 35, "ExampleText",
 CellID->1475497628],
Cell[CellGroupData[{
Cell[12270, 381, 109, 3, 27, "Input",
 CellID->933234494],
Cell[12382, 386, 1155, 44, 43, "Output",
 CellID->1219913945]
}, Open  ]],
Cell[CellGroupData[{
Cell[13574, 435, 138, 4, 27, "Input",
 CellID->1854871493],
Cell[13715, 441, 204, 6, 35, "Output",
 CellID->771760149]
}, Open  ]],
Cell[13934, 450, 144, 4, 52, "ExampleText",
 CellID->2003592022],
Cell[CellGroupData[{
Cell[14103, 458, 295, 8, 27, "Input",
 CellID->415066987],
Cell[14401, 468, 187, 6, 35, "Output",
 CellID->2065197167]
}, Open  ]],
Cell[CellGroupData[{
Cell[14625, 479, 129, 3, 27, "Input",
 CellID->1400459732],
Cell[14757, 484, 197, 6, 35, "Output",
 CellID->153708414]
}, Open  ]],
Cell[14969, 493, 95, 1, 36, "ExampleText",
 CellID->204593488],
Cell[CellGroupData[{
Cell[15089, 498, 327, 9, 27, "Input",
 CellID->1352029659],
Cell[15419, 509, 4650, 84, 94, "Output",
 CellTags->"RasterizedOutput",
 CellID->1038320327]
}, Open  ]],
Cell[CellGroupData[{
Cell[20106, 598, 129, 3, 27, "Input",
 CellID->969077787],
Cell[20238, 603, 199, 6, 35, "Output",
 CellID->1981877909]
}, Open  ]],
Cell[20452, 612, 105, 2, 36, "ExampleText",
 CellID->1939646369],
Cell[CellGroupData[{
Cell[20582, 618, 327, 9, 27, "Input",
 CellID->1886065691],
Cell[20912, 629, 3823, 71, 75, "Output",
 CellTags->"RasterizedOutput",
 CellID->91091737]
}, Open  ]],
Cell[24750, 703, 209, 4, 53, "ExampleText",
 CellID->958789175],
Cell[CellGroupData[{
Cell[24984, 711, 194, 6, 27, "Input",
 CellID->1406824487],
Cell[25181, 719, 3880, 158, 56, "Output",
 CellID->981092168]
}, Open  ]],
Cell[CellGroupData[{
Cell[29098, 882, 670, 21, 62, "Input",
 CellID->1776546156],
Cell[29771, 905, 4976, 198, 75, "Output",
 CellID->8901553],
Cell[CellGroupData[{
Cell[34772, 1107, 7004, 232, 81, "Print",
 CellID->1870797322],
Cell[41779, 1341, 392, 10, 24, "Print",
 CellID->2083320504],
Cell[42174, 1353, 350, 8, 24, "Print",
 CellID->353050808]
}, Open  ]],
Cell[42539, 1364, 188, 6, 35, "Output",
 CellID->2075390810]
}, Open  ]],
Cell[CellGroupData[{
Cell[42764, 1375, 128, 3, 27, "Input",
 CellID->692469312],
Cell[42895, 1380, 198, 6, 35, "Output",
 CellID->1788510841]
}, Open  ]]
}, Open  ]],
Cell[43120, 1390, 31, 0, 29, "SectionFooterSpacer"]
}, Open  ]],
Cell[CellGroupData[{
Cell[43188, 1395, 270, 12, 31, "SeeAlsoSection",
 CellID->1255426704],
Cell[43461, 1409, 411, 14, 56, "SeeAlso",
 CellID->830480392]
}, Open  ]],
Cell[43887, 1426, 23, 0, 41, "FooterCell"]
}
]
*)

(* End of internal cache information *)

